How to tell if two regular expressions recognize the same language